COMMENT ⊗   VALID 00004 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.TURN ON "α"
C00005 00003	.begin nofill
C00009 00004	.cb Publications
C00022 ENDMK
C⊗;
.TURN ON "α";
.TURN ON "{";
.TURN ON "∂";
.TURN ON "_" FOR "#"
.DEVICE XGP;
.FONT 1 "BAXL30"; TURN ON "%";
.FONT 2 "BAXM30";
.FONT 3 "basb30";
.FONT 4 "SUB";
.FONT 5 "SUP";
.FONT 6 "BASL35";
.FONT 7 "NGR25";
.FONT 8 "MATH30";
.FONT 9 "FIX25";
.FONT A "GRKB30";
.at "⊗"word" "	⊂ ("%2word%* ") ⊃;
.COUNT ITEM
.COUNT SUBITEM IN ITEM
.COUNT NOTE inline
.AT "~" TEXT "~"; ⊂
.SEND NOTES ⊂
{NOTE!}. TEXT

.⊃
.⊃;
.AT "$" ⊂ NEXT NOTE; ("%5"&NOTE!&"%*");⊃;
.AT "#" ⊂NEXT ITEM;(ITEM!);⊃;
.AT "&" ⊂NEXT SUBITEM;ONCE INDENT 10;(ITEM!&"."&SUBITEM!);⊃;
.PAGE FRAME 53 HIGH 80 WIDE;
.area heading lines 1 to 3;
.area text lines 4 to 53;
.every heading (,,{page});
.SECNUM←0
.MACRO NS(A)  ⊂ SECNUM←SECNUM+1
.SKIP TO COLUMN 1
.ONCE CENTER;
%3{SECNUM}.  A%*
.  ⊃
.macro cb(head) ⊂ if lines<7 then next page else skip; once center; select 3
head

.⊃
.macro bb(head) ⊂ if lines<7 then next page else skip; once select 3
head

.⊃

.count eq inline  from 1 to 999;
.at "!!" lab " " ⊂
.lab next eq
.eq})∂8{
.⊃

.<<formulas are signalled by !! followed by an optional identifier followed
. by colon followed by the formula.  A reference to formula nn is written {eq nn}
.!!e1:	x=x
.!!e2:	y=y
.
.Equation {eq e2} comes after {eq e1}.
.>>

.COMPACT; INDENT 0;
.AT 8 ⊂ONCE INDENT 5;⊃
.NEXT PAGE
.PLACE TEXT
.SELECT 1
.SKIP 3

.at "qnil" ⊂"%1NIL%*"⊃
.at "qadd" ⊂"%3add%*"⊃
.at "qaa" ⊂"%3aa%*"⊃
.at "qad" ⊂"%3ad%*"⊃
.at "qeq" ⊂"%3eq%*"⊃
.at "qif" ⊂"%3if%*"⊃
.at "qthen" ⊂"%3then%*"⊃
.at "qelse" ⊂"%3else%*"⊃
.at "qda" ⊂"%3da%*"⊃
.at "qdd" ⊂"%3dd%*"⊃
.at "qa" ⊂"%3a%*"⊃
.at "qn" ⊂"%3n%*"⊃
.at "qd" ⊂"%3d%*"⊃
.begin nofill
                     Biography of John McCarthy 
.skip 2
BORN:  September 4, 1927 in Boston, Massachusetts

EDUCATION:
	B.S.  (Mathematics) California Institute of Technology, 1948
	Ph.D. (Mathematics) Princeton University, 1951

HONORS AND SOCIETIES:
	American Academy of Arts and Sciences
	American Society for the Advancement of Science
	American Mathematical Society
	Association for Computing Machinery
	IEEE
	Sigma Xi
	Sloan Fellow in Physical Science, 1957-59
	ACM National Lecturer, 1961
	A.M. Turing Award from Association for Computing Machinery, 1971
	Editorial Board, Artificial Intelligence Journal, 1975 - present
	Academic Advisor, National Legal Center for Public Information, 1976 - present
	Board of Directors, Information International, Inc.
	Sigma Xi National Lecturer, 1977

PROFESSIONAL EXPERIENCE:
	Proctor Fellow, Princeton University, 1950-51
	Higgins Research Instructor in Mathematics,
		Princeton University, 1951-53
	Acting Assistant Professor of Mathematics,
		Stanford University, Sept. 1953 - Jan. 1955
	Assistant Professor of Mathematics, Dartmouth
		College, Feb. 1955 - June 1958
	Assistant Professor of Communication Science,
		M.I.T., 1958 - 1961
	Associate Professor of Communication Science,
		M.I.T., 1961 - 1962
	Professor of Computer Science
		Stanford University, 1962 - present
	Director, Artificial Intelligence Laboratory
		Stanford University, 1965 - present

PROFESSIONAL RESPONSIBILITIES AND SCIENTIFIC INTERESTS:
	With Marvin Minsky organized and directed the Artificial
		Intelligence Project at M.I.T.

	Organized and directs Stanford Artificial Intelligence Laboratory

	Developed the LISP programming system for computing with
		symbolic expressions, participated in the development
		of the ALGOL 58 and the ALGOL 60 languages.  Present
		scientific work is in the fields of Artificial
		Intelligence, Computation with Symbolic Expressions,
		Mathematical Theory of Computation, Time-Sharing computer
		systems.

.end
.skip 3
.cb Publications

%3McCarthy, John (1951)%1: "Projection Operators and Partial Differential
Equations" Ph.D.  Thesis, Princeton University.

%3McCarthy, John (1952)%1: "A Method for the Calculation of Limit Cycles by
Successive Approximation" in %2Contributions to the Theory of Nonlinear
Oscillations II%1, Annals of Mathematics Study No. 29, Princeton University,
pp. 75-79.

%3McCarthy, John (1953)%1: "An Everywhere Continuous Nowhere Differentiable
Function," %2American Mathematical Monthly%1, December 1953, p. 709.

%3McCarthy, John (1954)%1:  "A Nuclear Reactor for Rockets" %2Jet Propulsion%1,
January 1954.

%3McCarthy, John (1955)%1:  "The Stability of Invariant Manifolds" Applied
Mathematics Laboratory Technical Report No. 36, Stanford University, 25
pp.

%3McCarthy, John (1956)%1:  "The Inversion of Functions Defined by Turing
Machines," in %2Automata Studies, Annals of Mathematical Study No. 34,%1
Princeton, pp. 177-181.

%3McCarthy, John (1956)%1:  "Aggregation in the Open Leontief Model,"
in Progress Report of Dartmouth Mathematics Project.

%3McCarthy, John (1956)%1:  "Measures of the Value of Information,"
National Academy of Science, September 1956.

%3McCarthy, John (1956)%1:  Co-editor with Dr. Claude E. Shannon of Automata
Studies, Annals of Mathematics Study No. 34.

%3McCarthy, John (1960)%1: "Recursive Functions of Symbolic Expressions and their
Computation by Machine," %2Comm. ACM%1, April 1960.

%3McCarthy, John (1960)%1: "Programs with Common Sense," Proceedings of the
Teddington Conference on the Mechanization of Thought Processes H.M.
Stationery Office, 1960.

%3McCarthy, John (with 12 others) (1960)%1 "ALGOL 60", %2Numerische
Mathematik%1, March 1960, also in %2Comm. ACM%1, May 1960 and Jan. 1963.

%3McCarthy, John (1961)%1: "A Basis for Mathematical Theory of Computation",
in %2Proc.  Western Joint Computer Conf.%1, May 1961, pp. 225-238.
Later version in Braffort, P. and D. Hirschberg (eds.) %2Computer
Programming and Formal Systems%1, North-Holland Publishing Co. (1963).

%3McCarthy, John (1962)%1: "Time-Sharing Computing Systems," in %2Management
and the Computer of the Future%1, Martin Greenberger (ed.), MIT Press.

%3McCarthy, John (with Paul Abrahams, Daniel Edwards, Timothy
Hart and Michael Levin) (1962)%1: 
%2LISP 1.5 Programmer's Manual%1, M.I.T. Press, Cambridge, Mass.

%3McCarthy, John (1962)%1: "Computer Programs for Checking Mathematical Proofs",
%2Amer. Math. Soc. Proc. of Symposia in Pure Math.%1, Vol. 5.

%3McCarthy, John (1963)%1: "Towards a Mathematical Theory of Computation",
in Proc.  IFIP Congress 62, North-Holland, Amsterdam.

%3McCarthy, John (1963)%1: "A Basis for a Mathematical Theory of Computation", 
in P. Braffort and D. Hirschberg (eds.), %2Computer Programming and
Formal Systems%1, North-Holland Publishing Co., Amsterdam, pp. 33-70.

%3McCarthy, John (1963)%1: "A Time-Sharing Debugging System for a Small
Computer", (with Boilen, Fredkin and Licklider), Proc. AFIPS 1963 Spring
Joint Computer Conf., Sparten Books, Detroit, pp. 51-57.

%3McCarthy, John (1963)%1: "The Linking Segment Subprogram Language and
Linking Loader Programming Languages", Comm. ACM, July 1963.  (with F.
Corbato and M. Daggett),

%3McCarthy, John (1965)%1: "Problems in the Theory of Computation", in Proc.
IFIP Congress 65, Spartan, Washington, D.C..

%3McCarthy, John  (1966)%1: "A Formal Description of a Subset of Algol",
%2Formal Language Description Languages for Computer Programming%1,
T.B. Steel, Jr. (ed.), North-Holland Publ. Co., Amsterdam, pp. 1-12.

%3McCarthy, John (1968%1:  "Time-Sharing Computer Systems", in
%2Conversational Computers%1, William Orr (ed), Wiley Publishing Company.

%3McCarthy, John (1966)%1:  "Information", %2Scientific American%1, Vol. 215.

%3McCarthy, John (1967)%1:  "THOR - A Display Based Time-Sharing System", 
(with D. Brian,	G. Feldman, and John Allen)
%2AFIPS Conf. Proc.%1, Vol. 30, (FJCC) Thompson, Washington, D.C..

%3McCarthy, John (1967)%1:  "Computer Control of a Hand and Eye", in %2Proc.
Third All-Union Conference on Automatic Control (Technical Cybernetics)%1,
Nauka, Moscow, (Russian).

%3McCarthy, John (1968)%1:  "Programs with Common Sense," in M. Minsky (ed.), 
%2Semantic Information Processing%1, M.I.T. Press, Cambridge, Mass.

%3McCarthy, John (1968)%1:  "A Computer with Hands, Eyes, and Ears," 
(with L. Earnest, D. Reddy, P. Vicens) 
%2Proc. AFIPS Conf.%1 (FJCC).

%3McCarthy, John and P.J. Hayes (1969)%1:  "Some Philosophical Problems from
the Standpoint of Artificial Intelligence", in D. Michie (ed), %2Machine
Intelligence 4%1, American Elsevier, New York, NY.

%3McCarthy, John (1972)%1:  "The Home Information Terminal," Man and Computer, 
in Proceedings International Conference, Bordeaux 1970, S. Karger, N.Y.

%3McCarthy, John (1973)%1:  "Mechanical Servants for Mankind," in %2Britannica 
Yearbook of Science and the Future%1.

%3McCarthy, John (1974)%1:
Book Review: "Artificial Intelligence: A General Survey" by Sir James
Lighthill, in %2Artificial Intelligence%1, Vol. 5, No. 3.

%3McCarthy, John (1974)%1:  "Modeling Our Minds" in %2Science Year 1975, The
World Book Science Annual%1, Field Enterprises Educational Corporation,
Chicago, ILL.

%3McCarthy, John (1976)%1:  "The Home Information Terminal," invited presentation, 
AAAS Annual Meeting, Feb. 18-24, 1976, Boston.

%3McCarthy, John (1976)%1:  "An Unreasonable Book," a review of %2Computer
Power and Human Reason%1, by Joseph Weizenbaum (W.H. Freeman and Co., San
Francisco, 1976) in %2SIGART Newsletter 58%1, June 1976, also in %2Creative
Computing%1, Chestnut Hill, Massachusetts, 1976 and in "Three Reviews of Joseph
Weizenbaum's %2Computer Power and Human Reason%1", (with Bruce
Buchanan and Joshua
Lederberg), Stanford Artificial Intelligence Laboratory Memo 291, Computer
Science Department, Stanford, CA.

%3McCarthy, John (1977)%1:
Review: %2Computer Power and Human Reason%1, by Joseph Weizenbaum (W.H.
Freeman and Co., San Francisco, 1976) in %2Physics Today%1.

%3McCarthy, John (1977)%1:
"The Home Information Terminal" %2Grolier Encyclopedia%1.

%3McCarthy, John (1977)%1:
"On The Model Theory of Knowledge" (with M. Sato, S. Igarashi, and
T. Hayashi), %2Proceedings of the Fifth International Joint Conference
on Artificial Intelligence%1, M.I.T., Cambridge, Mass.

%3McCarthy, John (1977)%1:
"Another SAMEFRINGE", in %2SIGART Newsletter%1 No. 61, February 1977.

%3McCarthy, John (1977)%1:
"History of LISP", in Proceedings of the ACM Conference on the
History of Programming Languages, Los Angeles.

%3McCarthy, John (1977)%1:
"Epistemological Problems of Artificial Intelligence", %2Proceedings
of the Fifth International Joint Conference on Artificial 
Intelligence%1, M.I.T., Cambridge, Mass.

%3McCarthy, John (1979)%1:
"Ascribing Mental Qualities to Machines" in %2Philosophical Perspectives 
in Artificial Intelligence%1, Ringle, Martin (ed.), Harvester Press, July 1979.

%3McCarthy, John (1979)%1: 
"First Order Theories of Individual Concepts and Propositions", 
in Michie, Donald (ed.) %2Machine Intelligence 9%1, Scotland.

%3Cartwright, Robert and John McCarthy (1979)%1:
"Recursive Programs as Functions in a First Order Theory",
in %2Proceedings of the International Conference on Mathematical Studies of
Information Processing%1, Kyoto, Japan.

%3McCarthy, John (1980)%1: 
"Circumscription - A Form of Non-Monotonic Reasoning", %2Artificial
Intelligence%1 forthcoming.

%3McCarthy, John and Carolyn Talcott (1980)%1: %2LISP - Programming and
Proving%1, course notes, Stanford University. (to be published as a book).

.<<The references in this bibliography (BIOJMC[J,PAT]) should be in a uniform style,
.because I often copy them to papers.  The last few are correct.  The
.publication in italics and first names spelled out.
.>>